『Type and Effect Systems』
Effect System
の
論文
http://www.imm.dtu.dk/~fnie/Papers/NiNi99tes.pdf
Flemming Nielson
Hanne Riis Nielsen